loop termination

英 [luːp ˌtɜːmɪˈneɪʃn]

美 [luːp ˌtɜːrmɪˈneɪʃn]

网络  循环结束

计算机

双语例句

• An approach of least fixpoint to the proof of loop termination
  关于循环终止性证明的一种最小不动点方法
• The paper gives a model quasi-WHILE statement and its termination characteristics, introduces briefly the theory of least fixpoint, and discusses proof of the loop termination by combining with loop-like functions.
  本文分析了循环终止性的特点，给出了实WHILE语句模型，简要地叙述了最小不动点理论，并结合到实循环函数上讨论了终止性的证明。